Space-Bounded Quantum Complexity
نویسنده
چکیده
This paper investigates the computational power of space-bounded quantum Turing machines. The following facts are proved for space-constructible space bounds s satisfying s(n) = Ω(log n). 1. Any quantum Turing machine (QTM) running in space s can be simulated by an unbounded error probabilistic Turing machine (PTM) running in space O(s). No assumptions on the probability of error or running time for the QTM are required, although it is assumed that all transition amplitudes of the QTM are rational. 2. Any PTM that runs in space s and halts absolutely (i.e., has finite worst-case running time) can be simulated by a QTM running in space O(s). If the PTM operates with bounded error, then the QTM may be taken to operate with bounded error as well, although the QTM may not halt absolutely in this case. In the case of unbounded error, the QTM may be taken to halt absolutely. We therefore have that unbounded error, space O(s) bounded quantum Turing machines and probabilistic Turing machines are equivalent in power, and furthermore that any QTM running in space s can be simulated deterministically in NC(2s) ⊆ DSPACE(s2) ∩DTIME ( 2O(s) ) . We also consider quantum analogues of nondeterministic and one-sided error probabilistic spacebounded classes, and prove some simple facts regarding these classes.
منابع مشابه
Relationships Between Quantum and Classical Space-Bounded Complexity Classes
This paper investigates the relative power of space-bounded quantum and classical (probabilistic) computational models. The following relationships are proved. 1. Any probabilistic Turing machine (PTM) which runs in space s and which halts absolutely (i.e. halts with certainty after a nite number of steps) can be simulated in space O(s) by a quantum Turing machine (QTM). If the PTM operates wit...
متن کاملMatchgate and space-bounded quantum computations are equivalent
Matchgates are an especially multiflorous class of two-qubit nearest neighbour quantum gates, defined by a set of algebraic constraints. They occur for example in the theory of perfect matchings of graphs, non-interacting fermions, and one-dimensional spin chains. We show that the computational power of circuits of matchgates is equivalent to that of space-bounded quantum computation with unita...
متن کاملSpace-Efficient Error Reduction for Unitary Quantum Computations
This paper presents a general space-efficient method for error reduction for unitary quantum computation. Consider a polynomial-time quantum computation with completeness c and soundness s, either with or without a witness (corresponding to QMA and BQP, respectively). To convert this computation into a new computation with error at most 2−p, the most space-efficient method known requires extra ...
متن کاملA Quantum Time-Space Lower Bound for the Counting Hierarchy
We obtain the first nontrivial time-space lower bound for quantum algorithms solving problems related to satisfiability. Our bound applies to MajSAT and MajMajSAT, which are complete problems for the first and second levels of the counting hierarchy, respectively. We prove that for every real d and every positive real ǫ there exists a real c > 1 such that either: • MajMajSAT does not have a qua...
متن کاملUncountable classical and quantum complexity classes
Polynomial–time constant–space quantum Turing machines (QTMs) and logarithmic–space probabilistic Turing machines (PTMs) recognize uncountably many languages with bounded error (Say and Yakaryılmaz 2014, arXiv:1411.7647). In this paper, we investigate more restricted cases for both models to recognize uncountably many languages with bounded error. We show that double logarithmic space is enough...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Comput. Syst. Sci.
دوره 59 شماره
صفحات -
تاریخ انتشار 1999